$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:Knd List. only $L$ sends on ($l$ with ${\it tg}$) $\in$ MsgA